Computational model - PDFSEARCH.IO - Document Search Engine

Computational model
Results: 4679

#	Item
431	Automatic Verification of Security Protocols: Formal Model and Computational Model Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:57
432	Microsoft Word - scientific_report.doc Add to Reading List Source URL: fellowship.ercim.eu Language: English - Date: 2013-12-13 11:31:27 Neuroscience Biology Nervous system Computational neuroscience Electrophysiology Biophysics Cellular neuroscience Biological neuron model Neuron Action potential HodgkinHuxley model Biological neural network
433	Inductive Proof Method for Computational Secrecy Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell Department of Computer Science, Stanford University Abstract. We investigate inductive methods for proving secrecy p Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:15 Cryptography Authentication protocols Computer network security Ciphertext indistinguishability DolevYao model Advantage Kerberos Cryptographic protocol Security parameter XTR Challengeresponse authentication Security protocol notation
434	Eos, Vol. 93, No. 5, 31 JanuaryFORUM Regional Climate Downscaling: What’s the Point? PAGES 52–53 Dynamical and statistical downscaling Add to Reading List Source URL: pielkeclimatesci.files.wordpress.com Language: English - Date: 2012-02-18 18:08:26 Climate modeling Computational science Downscaling Climate history Regional Atmospheric Modeling System Climate model Numerical weather prediction Atmospheric model General circulation model Roger A. Pielke Climate oscillation Global warming
435	The MASON HouseholdsWorld Model of Pastoral Nomad Societies Claudio Cioffi-Revilla1, J. Daniel Rogers2, and Maciek Latek 1 1 Center for Social Complexity and Department of Computational Social Science, MSN 6B2 Add to Reading List Source URL: cs.gmu.edu Language: English - Date: 2010-07-19 19:16:33 Academia Simulation Complex systems theory Nomads Cultural anthropology Scientific modeling Operations research Systems science Social simulation Agent-based model Scientific modelling Hunter-gatherer
436	12. Finite-State Machines 12.1 Introduction This chapter introduces finite-state machines, a primitive, but useful computational model for both hardware and certain types of software. We also discuss regular expressions, Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-21 11:50:50
437	MASON Sean Luke Gabriel Catalin Balan Liviu Panait Claudio Cioffi-Revilla Sean Paus Add to Reading List Source URL: cs.gmu.edu Language: English - Date: 2005-02-21 13:23:30 Software Computing Multi-agent systems Artificial life Application software Simulation Computational science Scientific modelling MASON Agent-based model Swarm Visualization
438	1 What’s in this document It gives in Section 2 the description of model B the way it will appear in – Den Haan, Wouter J., Kenneth L. Judd, and Michel Juillard, 2008, Computational suite of models with heterogeneou Add to Reading List Source URL: www.wouterdenhaan.com Language: English
439	15th International Society for Music Information Retrieval Conference (ISMIRTHEORETICAL FRAMEWORK OF A COMPUTATIONAL MODEL OF AUDITORY MEMORY FOR MUSIC EMOTION RECOGNITION Marcelo Caetano Sound and Music Computin Add to Reading List Source URL: www.terasoft.com.tw Language: English - Date: 2014-10-21 11:35:19
440	Aligning Superintelligence with Human Interests: An Annotated Bibliography Nate Soares Machine Intelligence Research Institute Add to Reading List Source URL: intelligence.org Language: English - Date: 2015-03-20 21:19:24 Future Artificial intelligence Futurology Transhumanists Computational neuroscience Friendly artificial intelligence Eliezer Yudkowsky Strong AI Agent-based model Singularitarianism Science Time

UPDATE